881. The age of alternative logics: assessing philosophy of logic and mathematics today
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A39
2006
882. The algebraic theory of switching circuits
المؤلف: Moisil, Grigore C.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Switching theory,، Logic, Symbolic and mathematical,، Algebraic fields,، Field, Albebraic
رده :
QA
401
.
M5513
1969
883. The algebraic theory of switching circuits,
المؤلف: by Gr. C. Moisil
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebraic fields,Logic, Symbolic and mathematical,Switching theory
884. The anatomy of mathematics
پدیدآورنده : Kershner, R. B.)Richard Brandon(,3191-, by R.B. Kershner ]and[ L.R. Wilcox
موضوع : ، Mathematics,، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
885. The anatomy of mathematics
المؤلف: / by r.B. Kershner [and] L.R. Wilcox,Kershnev
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Mathematics,Logic, Symbolic and mathematical
رده :
QA
9
.
K38
886. The axiomatic method; an introduction to mathematical logic
المؤلف: Lightstone, A. H.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Axioms,، Mathematics-- Philosophy
رده :
QA
248
.
L53
887. The collected papers of Gerhard Gentzen.
المؤلف: Edited by M. E. Szabo
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical,Metamathematics
رده :
QA9
.
G329
888. The computer modelling of mathematical reasoning /
المؤلف: Alan Bundy, Department of Artificial Intelligence, Edinburgh.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Automatic theorem proving.,Logic, Symbolic and mathematical.,Mathematics-- Data processing.,Intelligence artificielle.,Anwendung,ARTIFICIAL INTELLIGENCE.,Automatic theorem proving.,Automatisches Beweisverfahren,Computersimulaties.,Inteligencia Artificial (Computacao),Künstliche Intelligenz,Logic, Symbolic and mathematical.,Logique symbolique et mathématique.,Mathematics-- Data processing.,Mathematik,Mathematik.,Mathématiques-- Informatique.,Redeneren.,THEOREM PROVING.,Théorèmes-- Démonstration automatique.,Wiskunde.
رده :
QA76
.
95
.
B86
1983
889. The computer modelling of mathematical reasoning
المؤلف: Bundy, Alan
المکتبة: (طهران)
موضوع: Data processing ، Mathematics,، Logic, Symbolic and mathematical,، Automatic theorem proving
رده :
QA
76
.
95
.
B86
890. The computer modelling of mathematical reasoning
المؤلف: Bundy, Alan., Alan Bundy
المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Mathematics- Data processing,، Logic, Symbolic and mathematical,، Automatic theorem proving
رده :
QA
76
.
95
.
B86
891. The computer modelling of mathematical reasoning
المؤلف: Bundy, Alan.
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Mathematics - Data processing,، Logic, Symbolic and mathematical,، Automatic theorem proving
رده :
QA
76
.
95
.
B86
1983
892. The consistency of the Axiom of choice and of the generalized continuum- Hypothesis with the Axioms of set theory
المؤلف: / Kurt Godel
المکتبة: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)
موضوع: Mathematics-philosophy,Logic,Symbolic and mathematical
رده :
QA
9
.
G54
893. The consistency of the axiom of choice and of the generalized continum-hypothesis with the axioms of set theory
المؤلف: Godel, Kurt
المکتبة: (طهران)
موضوع: ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1953
894. The consistency of the axiom of choice and of the generalized continuum - Hypothesis with the axioms of set theory
المؤلف: Godel, Kurt
المکتبة: (خراسان الجنوبیة)
موضوع: ، Mathematics - Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1968
895. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
المؤلف: Godel, Kurt
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Mathematics-- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
1
.
A626
no
.
3
896. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
المؤلف: Godel, kurt
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Mathematics-Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1966
897. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
المؤلف: Godel, Kurt.
المکتبة: المكتبة المركزية ومركز المعلومات (خراسان رضوی)
موضوع: Philosophy ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1940
898. The consistency of the axiom of choice and of the genralized continuum-hypothesis with the axioms of set theory
المؤلف: Godel, Kurt
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Mathematics-philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1968
899. The construction of logical space /
المؤلف: Agustín Rayo
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic,Logic, Symbolic and mathematical-- Philosophy,Mathematics-- Philosophy,Metaphysics,Space-- Philosophy
رده :
BC135
.
R39
2013
900. The continued exercise of reason :
المؤلف: by George Boole ; edited and with an introduction by Brendan Dooley.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Boole, George,1815-1864.,Boole, George,1815-1864.,Boole, George,1815-1864.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,MATHEMATICS / General
رده :
QA9
.
2
.
B657
2018eb
